set_shadow_status(m, gl1pfn, PSH_shadowed | sl1pfn);
- l2pde_general(m, &gpde, &spde, sl1pfn);
+ l2pde_general(m, &gpl2e, &spl2e, sl1pfn);
- linear_l2_table[va>>L2_PAGETABLE_SHIFT] = mk_l2_pgentry(gpde);
- shadow_linear_l2_table[va>>L2_PAGETABLE_SHIFT] =
- mk_l2_pgentry(spde);
+ __guest_set_pl2e(m, va, gpl2e);
+ __shadow_set_pl2e(m, va, spl2e);
gpl1e = (unsigned long *) &(linear_pg_table[
- (va>>PAGE_SHIFT) & ~(ENTRIES_PER_L1_PAGETABLE-1)]);
+ (va>>L1_PAGETABLE_SHIFT) & (ENTRIES_PER_L1_PAGETABLE-1)]);
- spl1e = (unsigned long *) &shadow_linear_pg_table[
- (va>>PAGE_SHIFT) & ~(ENTRIES_PER_L1_PAGETABLE-1)];
+ spl1e = (unsigned long *) &(shadow_linear_pg_table[
+ (va>>L1_PAGETABLE_SHIFT) & (ENTRIES_PER_L1_PAGETABLE-1)]);
for ( i = 0; i < ENTRIES_PER_L1_PAGETABLE; i++ )
l1pte_propagate_from_guest(m, &gpl1e[i], &spl1e[i]);